Distributed Formation Control Of Quadrotors With Collision Avoidance: Simulation